1. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
Author: Jacques Calmet, Carla Limongelli, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
Classification :
QA
76
.
9
.
S88
I576
1996
